Automated metamorphic testing on the analyses of feature models
نویسندگان
چکیده
منابع مشابه
Automated metamorphic testing on the analyses of feature models
Context. A Feature Model (FM) represents the valid combinations of features in a domain. The automated extraction of information from FMs is a complex task that involves numerous analysis operations, techniques and tools. Current testing methods in this context are manual and rely on the ability of the tester to decide whether the output of an analysis is correct. However, this is acknowledged ...
متن کاملAutomated Metamorphic Testing
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs for which this assumption is unreasonable. Recently, Chen et al. [3, 4] proposed to overcome this obstacle by using known relations over the input data and their unknown expected outputs to seek a subclass of faults insi...
متن کاملA Survey on the Automated Analyses of Feature Models
Resumen. Feature models are one of the most important assets in software product line engineering when capturing variability. Although the analyses of feature models was stated as challenging problem since they were fist proposed, it has not been fully achieved yet. In this paper we survey the state of the art on the automated analyses of feature models outlining the main advances made until no...
متن کاملAutomated metamorphic testing of variability analysis tools
Variability determines the capability of software applications to be configured and customized. A common need during the development of variability–intensive systems is the automated analysis of their underlying variability models, e.g. detecting contradictory configuration options. The analysis operations that are performed on variability models are often very complex, which hinders the testin...
متن کاملAutomated Reasoning on Feature Models
Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL community it is well recognized that variability in SPLs is increasing by the thousands. Hence, an automatic support is needed to deal with variability in SPL. Most of the current proposals for automatic reasoning on SPL are not devised to cope with extra– functional feature...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Software Technology
سال: 2011
ISSN: 0950-5849
DOI: 10.1016/j.infsof.2010.11.002